Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
61	Towards Efficient Conversions by use of Partial Evaluation Morten Welinder DIKU, Department of Computer Science University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Formal methods Functional languages Automated theorem proving Computability theory Theoretical computer science Partial evaluation Theorem Functional programming Compiler Standard ML Succ Evaluation
62	Written Examination, May 29th, 2015 Course noThe duration of the examination is 4 hours. Course Name: Functional programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2015-05-21 05:34:09 Academic transfer Computability theory Recursion Subroutines Theoretical computer science Grading systems by country
63	NOLTA, IEICE Paper Verified sharp bounds for the real gamma function over the entire floating-point range Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2014-04-24 05:11:30 Gamma function Floor and ceiling functions Probability theory Computability theory Error function
64	From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2016-07-04 02:54:41 Theoretical computer science Formal methods Computability theory Functional languages Logic in computer science Satisfiability modulo theories Factorial ML Recursion Lambda calculus System F
65	Improving the Performance of Collective Operations in MPICH Rajeev Thakur and William Gropp Mathematics and Computer Science Division Argonne National Laboratory 9700 S. Cass Avenue Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:12 Theoretical computer science Parallel computing Message Passing Interface MPICH Computability theory Algorithm Recursion Distributed computing K-nearest neighbors algorithm
66	Applied Mathematics and Computation xxxxxx–xxx Contents lists available at ScienceDirect Applied Mathematics and Computation journal homepage: www.elsevier.com/locate/amc Add to Reading List Source URL: scribblethink.org Language: English - Date: 2012-10-07 04:35:37 Computability theory Theory of computation Randomness Theoretical computer science Algorithmic information theory Kolmogorov complexity Algorithmically random sequence Computable function Complexity Algorithm Pseudorandomness Lossless compression
67	Powerpoint-presentation Information and Computing Sciences Add to Reading List Source URL: www.usefulpatterns.org Language: English - Date: 2015-04-25 08:23:03 Algorithmic information theory Computability theory Randomness Theoretical computer science Turing machine Kolmogorov complexity Algorithmically random sequence Algorithmic probability Minimum description length Complexity Ray Solomonoff Algorithm
68	Computability 1 Tao Jiang Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2002-01-28 23:36:37 Computability theory Theory of computation Turing machine Models of computation Theoretical computer science Computability Algorithm Halting problem Reduction Computable function NP Complexity class
69	Efficiently Evaluating Complex Boolean Expressions Marcus Fontoura Suhas Sadanandan Jayavel Shanmugasundaram Sergei Vassilvitski Erik Vee Srihari Venkatesan Jason Zien Yahoo! Research, 701 First Ave., Sunnyvale, CA 94089 Add to Reading List Source URL: fontoura.org Language: English - Date: 2010-03-16 13:13:45 Recursion Binary trees Knowledge representation Computability theory B-tree Binary expression tree Tree traversal Disjunctive normal form Tree Parallel Tree Contraction Interval tree
70	Microsoft Word - Some Questions on Moral Hazard.doc Add to Reading List Source URL: www.homepages.ucl.ac.uk Language: English - Date: 2008-12-05 05:29:03 Computability theory operator BorelKolmogorov paradox